change predicate

[计] 变化谓词